Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent
نویسندگان
چکیده
Attack–defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack–defense trees and game theory is made explicit. We show that attack–defense trees and binary zero-sum two-player extensive form games have equivalent expressive power when considering satisfiability, in the sense that they can be converted into each other while preserving their outcome and their internal structure.
منابع مشابه
Strategic Decompositions of Normal Form Games: Zero-sum Games and Potential Games
We study new classes of games, called zero-sum equivalent games and zero-sum equivalent potential games, and prove decomposition theorems involving these classes of games. We say that two games are “strategically equivalent” if, for every player, the payoff differences between two strategies (holding other players’ strategies fixed) are identical. A zero-sum equivalent game is a game that is st...
متن کاملA Defense Model for Games with Incomplete Information
Making a decision, an agent must consider how his outcome can be influenced by possible actions of other agents. A ’best defense model’ for games involving uncertainty assumes usually that the opponents know everything about the actual situation and the player’s plans for certain. In this paper it’s argued that the assumption results in algorithms that are too cautious to be good in many game s...
متن کاملA TRANSITION FROM TWO-PERSON ZERO-SUM GAMES TO COOPERATIVE GAMES WITH FUZZY PAYOFFS
In this paper, we deal with games with fuzzy payoffs. We proved that players who are playing a zero-sum game with fuzzy payoffs against Nature are able to increase their joint payoff, and hence their individual payoffs by cooperating. It is shown that, a cooperative game with the fuzzy characteristic function can be constructed via the optimal game values of the zero-sum games with fuzzy payoff...
متن کاملConvergent Multiple-timescales Reinforcement Learning Algorithms in Normal Form Games
We consider reinforcement learning algorithms in normal form games. Using two-timescales stochastic approximation, we introduce a modelfree algorithm which is asymptotically equivalent to the smooth fictitious play algorithm, in that both result in asymptotic pseudotrajectories to the flow defined by the smooth best response dynamics. Both of these algorithms are shown to converge almost surely...
متن کاملConvergent Multiple-times-scales Reinforcement Learning Algorithms in Normal Form Games
We consider reinforcement learning algorithms in normal form games. Using two-time-scales stochastic approximation, we introduce a modelfree algorithm which is asymptotically equivalent to the smooth fictitious play algorithm, in that both result in asymptotic pseudotrajectories to the flow defined by the smooth best response dynamics. Both of these algorithms are shown to converge almost surel...
متن کامل